Update doc to reflect changes I am about to install to fix PR 888.