See #492