(#4337)  Update documentation to reflect incomplete fix.