Another small documentation tweak