Clean up documentation

Please review my revisions before eventually accepting.