fixing the standard header file