typos and a format fix