I think this is a technicality and can be removed.