Bug 6401 fix to the history file