Pushing a bugfix to see if the gitlab-ci works.

1 job for 58/mike/testing in 1 minute and 8 seconds (queued for 3 seconds)