See #3419