fix terminating

Sören Henning requested to merge master into thesis-eval

Merge request reports