Another typo fix in a comment