Fixes a small typo in a comment