Removed extraneous header