NEWS: Fix header file name