Jason's fixes to documentation