Fix history

Without that PR, as soon as you change the file the history will be completely buggy...