Couple of minor syntactical updates