Revert "commit zonder comment"

This reverts commit 889639c0cd19133d24eef9d58e68b35cc94ad238.