correcting hidden notations