remove an unused header