capitalization

diff --git a/src/python.cc b/src/python.cc
index 28369e9a2e1e1d5d8b62d89f926b192369cb4ba1..179e737264e9b0c2da1df04a95d8b029b5a1756f 100644 (file)
--- a/src/python.cc
+++ b/src/python.cc
@@ -45,13 +45,14 @@ void python_init(char *argv0)
 void python_destroy()
 {
   Py_DECREF(obdict);
+  Py_Finalize();
 }
 
 bool python_exec(const std::string &path)
 {
   FILE *rcpyfd = fopen(path.c_str(), "r");
   if (!rcpyfd) {
-    printf("failed to load python file %s\n", path.c_str());
+    printf("Failed to load python file %s\n", path.c_str());
     return false;
   }
   PyRun_SimpleFile(rcpyfd, const_cast<char*>(path.c_str()));