fix problem in Lantern desync fix