Fix silly mistake regarding case sensitive header file name