Fixed header file extension