Fix erroneous git sub-module URL.