fix travis tag