Fix minor typo in a comment.

Pretty straightforward. Not super important.