Fixed a few typos and technical details