fix erroneous assertion
2 files changed