I doubt the case should happen. If it does, let's print an
error, will ease debugging.