Minor notation fixes.