Documentation tidyups