See #1310.