Remove this, it's unused now.