tweak formatting and typos