small documentation tweak