another minor tweak to documentation