notation fixes