num_duplicates is now defined in guiheaders