minor syntactic fixes