Added changes for 0.7.2.
Version bumps.