Fixed some of the XML comments - most probably not all of them, though...