Various fixes to 0.9.7 documentation