Belated docs fixups