small fix, header file