Back to development: 0.7.2