I don't think this would be a problem. Anyway, that change should be in other PR, so...