Fix a bug that would cause Synapse not to resync out-of-sync device lists.