Fixed bad precondition