fix a typo in a comment

Spotted by Matthew Horsfall