A few more changes to the docs