See #3164