Fix issue with infinitely growing lists of preferences.
Fix issue with infinitely growing lists of preferences.

--HG--
extra : convert_revision : 6b96513d09066b1ab402641059a32a3804a7eff6

bramd/spiel,bramd/spiel,beqabeqa473/Asra,beqabeqa473/Asra,beqabeqa473/Asra,bramd/spiel