Small corrections. Improved consistency. Fixed typos.