Shouldn't we print some message about the mismatch?