Minor syntactical fixes