Minor nitpicks from JM on recent docs PRs
Merge pull request #432 from hflynn/minor_tidying

Minor tidying