Better docs, minor vanity edits