I'm ok with both variants. I think we must choose one and specify that choice somewhere.