fixes a small typo in a comment