Doco fixups