fix spelling (in a comment)