Various documentation fixups