John,

Are you keeping the version number actually in the source as 0.7.1, and not changing it to 0.7.1.1 and 0.7.1.2, because this is just a minor patch release, or is it a bug?

The first; a minor patch release. Cheers Jorge.-