Tiny doc tweak