Fix small bugs

app.py

@@ -27,7 +27,7 @@ st.set_page_config(
 ROOT_DIR = os.path.join(os.path.dirname(__file__), "./")
 # todo: Add more binder questions, need careful cherry-picks
 EXAMPLE_TABLES = {
-    "Estonia men's national volleyball team": (558, "what are the total number of players from france?"),
+    "Estonia men's national volleyball team": (558, "what is the total number of players from france?"),
     # 'how old is kert toobal'
     "Highest mountain peaks of California": (5, "which is the lowest mountain?"),
     # 'which mountain is in the most north place?'
@@ -206,7 +206,7 @@ if not button:
 
 # Generate Binder Program
 generator = Generator(args, keys=keys)
-with st.spinner("Generating Binder program to solve the question..."):
+with st.spinner("Generating Binder program to solve the question...will be finished in 10s, please refresh the page if not"):
     binder_program = generate_binder_program(args, generator,
                                              {"question": question, "table": db.get_table_df(), "title": title})
 
@@ -227,7 +227,7 @@ else:
 try:
     stamp = '{}'.format(uuid.uuid4())
     os.makedirs('tmp_for_vis/', exist_ok=True)
-    with st.spinner("Executing program ..."):
+    with st.spinner("Executing... will be finished in 30s, please refresh the page if not"):
         exec_answer = executor.nsql_exec(stamp, binder_program, db)
     if selected_language == 'SQL':
         with open("tmp_for_vis/{}_tmp_for_vis_steps.txt".format(stamp), "r") as f: