Change file as requested in https://github.com/TIDCampus/workshop/pull/17