Fixed name of header file