Another minor documentation fix.