Version bump (0.7.2)