Small doc fixup