[tor-commits] [vidalia/master] Fix #4290.