this assert here fails ^ (correctly, it should be in the test above instead)