minor typo and denotation fixes