corrections to syntax