Is this the fix for "when using Tor we still map ports"?