minor tweak to documentation