Various small changes and a bump to 0.7.2
Various small changes and a bump to 0.7.2