See #1241