the tag for v0.7.2 must have not had the right version

correcting the version to 0.7.2