See #1286