Removed an unused header