Some formatting issues were fixed.