Fixing problem with name of partial header file