This function is not needed anymore.