Make numerous minor fixes in documentation