Minor change in the comment