fix annotation typos caught by checking in cases