More doc tidy ups