Fix precondition