Fix to developer guide and installation