fixing bugs in Duplication annotation