Fix typos and stuff in the docs