See #1662.