Fix new devices sometimes never reaching other users' device lists. Contributed by @eleboucher.