The above fix led to a unit test failing. This is now commented out in tests/test19.py. We need to figure out whether
1. The bug fix is correct
and/or
2. The unit test makes sense
The above fix led to a unit test failing. This is now commented out in tests/test19.py. We need to figure out whether
1. The bug fix is correct
and/or
2. The unit test makes sense