Tidied up top-level documentation