Documentation and a few typos.