#5881: Comments.