See #1257