fix a syntax issue