made minor changes in header file"