Small fix in the installation section