Fixing typos and some formatting updates