Fix preconditions