Another simple fix for TestmarkovSpecExecSuite