Revert "Revert "That should have been deleted""

This reverts commit 1295fce9bd2fa3c89848fe20dd4a710ebd27fd2d.