Extensive formatting changes and corrections.