Revert "remove duplication"

This reverts commit f301402dd8b7978a0c56e70ebb44a523177ec33b.