Fix Travis URL for future merge.