Minor formatting fixes
Bump version to 0.7.2