#2587: Remove unneeded comment.