Add missing then in if-statement in Travis script.