[tor-commits] [torspec/master] three tiny fixes to prop#293