Change set union to set intersection in verify procedure

In the paper, it use set intersection instead of union. Is it a bug or a intentional modification?