[DEBUG] missing then in travis file