This should be removed since we don't use it anymore.