minor syntactical updates