Kristiaan Van den Eynde pushed to project branch 3533155-fix-ci-by at Issue forks / group-3533155

Kristiaan Van den Eynde (4def1883) at 30 Jun 13:09

Small oversights from last few commits