Though in that case maybe we should just delete it