Tiny doc tweak.