Update the documentation, too