Minor changes from ChangeLog.txt