Some changes to the docs.