Put options in correct order
Merge pull request #954 from Sophist-UK/fix_bugs_found_diagnosing_Braus

Fix bugs found diagnosing braus