Minor doc tweak.