small change to syntax