Revert "Test commit from Henk"

This reverts commit ab094ca860302ac2b0c91cd6f0d2e6c4b1bd1125.