fix getlantern/lantern#1523