Make History.txt more consistent