[tor-commits] [lego/develop] Fix banner