See #6428471070939