minor changes (typos) to annotations