Yes, a basis of zero if they have already subtracted the basis to give you the net proceeds makes sense.
