This is no longer used, so it should be removed.