minor typos and formatting