Kevin's comment

Also fixes typo