fix docs some more
Prepare 0.7.2 release