A few typos & comments corrections