Comment.

See #2023.