More doc bug fixes