Actually, delete this header altogether.