Turns out the bug was in the test suite.