Fix misnamed header file