Tidied up some of the documentation.