minor Notation fixes