Merge pull request #715 from rmitton/doc_fixes
authorKim Kulling <kimkulling@users.noreply.github.com>
Mon, 14 Dec 2015 08:12:17 +0000 (09:12 +0100)
committerKim Kulling <kimkulling@users.noreply.github.com>
Mon, 14 Dec 2015 08:12:17 +0000 (09:12 +0100)
Tiny misc fixes for documentation


Trivial merge