Minor typos and formatting nonsense