Bump version: 0.7.2