Make the docs reflect the changes in the previous commit