Typos and format corrections