Some small typos & formatting updates