Integrate a changelog.txt update made for release-0.8.5