removed extraneous header file inclusions