Minor changes: read Changelog under v0.7.2 for details.