updated to remove an unused header file