Changes for 0.7.2 release

This retains compatibility with 0.7.0