Already fixed in dev branch: https://gitweb.torproject.org/https-everywhere.git/commitdif...