Fix error with sequential duplication symbols