Various documentation improvements

Done.