tidied up some documentation