no need for this function, as it's used only in one place