Fix small comment typo

Just a small typo in a comment.