Fix an assertion