More doc tweak