Fixed small typo and bumped version number
Merge branch 'hotfix/fix_number_of_model_checkers'