Another change from the Bazaar repo to the Github repo