A few changes to the docs.