Minor doc tweak