More small notation fixes.