Slight syntax fixes