Fixed naming of header file