issue #3069: Removing unused comments.