corrections to OTTAVA, OTTAVATE and END_OTTAVA