fix warnings from "make check-docs"

It looks like tor.1.txt has gotten out of sync with tor again; better fix that.