Just typos and more coherent doc formating.