This does not happen, but still ..)