Revert "Apparently not used anymore."

This reverts commit 3d9a038b322fb882d8bd3907e01fa7db2a83ccbd.