minor typo, and a fix I missed