If there's a matching problem they can attach a statement for the difference. 1099-S does not always match the sales price but if their sales price would be reduced by the note paid off anyway so it should match.
