Prettified HTML and fixed some typos/errors in the process