bugfix: duplicate entries are ignored