#525: remove duplicate entries