minor fixup to doc