Update the documentation for installation