small fix in syntax