My W2 RSU amount is higher than 1099B total proceeds.Seems like on W2 they're also reporting vested RSUs that I haven't sold yet. Is that how it should be?