Very small change to syntax