Fix HISTORY filename