Fix copy-paste mistake in Travis-CI button.