See #1211