fix header file syntax