Fix minor typos in tor-spec.txt