See #1194.