Minimal fixes to the documentation