Another small syntactical change