fix a syntax problem