made insignificant syntactical modification