diff --git a/src/osdi/osdiregistry.c b/src/osdi/osdiregistry.c
index 2d5080ee0..0e8c431b5 100644
--- a/src/osdi/osdiregistry.c
+++ b/src/osdi/osdiregistry.c
@@ -392,9 +392,9 @@ extern OsdiObjectFile load_object_file(const char *input) {
       (OSDI_VERSION_MAJOR == 0 && OSDI_VERSION_MINOR >= 4) ||
       OSDI_VERSION_MAJOR >= 1
     )) {
-      printf("NGSPICE supports OpenVAF-reloaded OSDI >= 0.4 but \"%s\" uses v%d.%d!",
+      printf("NGSPICE supports OpenVAF-reloaded OSDI>=0.4 but \"%s\" uses v%d.%d!",
         path, OSDI_VERSION_MAJOR, OSDI_VERSION_MINOR);
-      txfree(path);
+      txfree(path); 
       return INVALID_OBJECT;
     }
     descriptor_size = *OSDI_DESCRIPTOR_SIZE;