Fix error and fail precondition states