CHANGES: add recent changes from v0.7.