Update the documentation for the previous change.