Looks like a typo in the comment here.