Doc changes

This PR makes a number of changes to the doc.