Fixing a minor bug in dedup.sh