Merge branch 'hotfix/fix_sorting'
Merge branch 'release/v1.8'
Fixed small typo and bumped version number
Merge branch 'hotfix/fix_number_of_model_checkers' into develop