Simple fix for failing TestSpecExecSuite tests