Update docs and fix some random formatting