minor fixes in syntax