Made some small improvements to the documentation