Documentation tidy-up