Shorter summary
Minor documentation fixes