Updated CHANGELOG, sorted out previous release 0.7.2.