Minor documentation fixes suggested by Mark