4066c0cb0f
Fix doc bug reported by Garrett Wollman. A new cpio floppy should probably be rolled from these changes.
Fix doc bug reported by Garrett Wollman. A new cpio floppy should probably be rolled from these changes.