See #1263