Small doc fixup.