Again some minor syntactical stuff