push: small documentation fix