See #2262