doc fixups in #5