Fix syntactic mistake