This is never used. You can safely delete it.