Doc bug fixes