Small fix to the installation section in the development doc