Revert "this is not used anymore"

This reverts commit 11e89eb1529be06d353565820a2e25f5d64b4e01.