Some cosmetics and typos.