Fixed a couple of small documentation issues