Miscellaneous doc fixes
Merge pull request #3073 from imurchie/isaac-miscdocs

Miscellaneous doc fixes