More documentation repair.