minor syntactical change