fixing some typos
some more words on push-relabel