Remove a no-longer needed comment.