Number of cards in a filtered deck differs between mobile and desktop app after sync

Please see iOS & iPad: Sync failure with filtered decks