Fix precondition failure.