Several formatting issues were fixed.