Opening due to #757. Related to #745.
Opening due to #757. Related to #745.