Update version numbers for 0.7.2.

Should have been in the previous commit.