Horror! A typo in a comment!