Small doc. fixup for #286