Fix erroneous asserts