A few mistakes in the comments fixed.