Notation fixes.