Tweak doc on grammar notation