slight syntax fixes