diff --git a/gtsam/base/types.cpp b/gtsam/base/types.cpp
index 827d71cd6..817d697b2 100644
--- a/gtsam/base/types.cpp
+++ b/gtsam/base/types.cpp
@@ -48,8 +48,7 @@ std::string demangle(const char* name) {
 
   std::free(demangled);
 
-#endif
-#ifdef _WIN32
+#elif _WIN32
     char undecorated_name[1024];
     
     if (UnDecorateSymbolName(