think this is not needed, see my comment above. (besides it is used only once and only within the class)