fix another doc problem