Revert "actually not necessary"

This reverts commit 9384e659999a181dfd6e840ccb91bc96fdab3071.