Version bump (0.7.1).