Small syntactical corrections