Small syntax fixes