Minor tweak in version_history.txt