little fixes in syntax