fixed a failing test for Ex