#5475: Comments.