Minor doc fixup