small doc tweak.