Applying patch by rms(bob) to update the docs