formatting and fixing typos