minor tweak to doc