a little change in header file