minor modification in a comment