more notation fixes