remove this function; it's used only here.