Hotfix for documentation typos

Cleanly merges against master and develop, left this PR pointing at develop.