Small corrections. Cleaning up a bit.