Documentation fixups