Fixes a typo in the comments