Ok. Then it is fine as it is - we can make a change in future versions eventually. This looks ok now