Related to #378.
Related to #378.