push: change needlessly ambiguous example in error