fix small typo in a comment that is angering my editor