Fix typo (comment on #211)