quick fix to header file

github fail