Minor changes in revision_history.txt