small fix in lib-dups?