minor annotation adjustments (typos)