Finally ran flyspell, cleaned up documentation some more