Minor corrections, colons forgotten and typos