Tiny syntactic changes