minor syntactical changes