Update to v0.7.3.2 label."