More documentation and typo fixes