Minor edits to get doc to compile