Oops, fixed typo in comments