Actually I think this is already the case. Sorry for the noise.