small changes to header files
small changes to header files