Minor change: typo

Tiny typo on a comment.