Tidied some extended documentation