Same comment here as above: perhaps we should say the preferred syntax first?