fix a syntactic mistake