Revert "temporarily leave out"

This reverts commit 3dde380db6cca4f620a8c99cb032e8ada8d5cc10.