fixing the Travis URL