Fix typo in effectiveT3 caught by API driven test framework.
Re-enable mira4 tests.

I think this bug has been squashed in Twill mode, but shouldn't happen at all in API mode.