Update app.py

app.py

@@ -27,7 +27,7 @@ if search_query or button_clicked:
     search_results = searcher.search(search_query)
     search_time = time.time() - t_0
     #st.write(dir(search_results[0]))
-    st.write(f"<p align=\"right\" style=\"color:grey;\">Retrieved {len(search_results):,.0f} documents in {search_time*1000:.2f} ms</p>", unsafe_allow_html=True)
+    st.write(f'<p align=\"right\" style=\"color:grey;\">Retrieved {len(search_results):,.0f} documents in {search_time*1000:.2f} ms</p>', unsafe_allow_html=True)
     for result in search_results[:10]:
         #keywords = ', '.join(result.key_terms('text'))
         #meta = result['meta']