minor documentation tweak