minor typo (in the comments)