fix annoying typo in comment.