fix a syntactic error