Fixed typos; improved format; added clarifications.