diff --git a/spot/ltsmin/ltsmin.cc b/spot/ltsmin/ltsmin.cc
index b8e53610d..8dd65c309 100644
--- a/spot/ltsmin/ltsmin.cc
+++ b/spot/ltsmin/ltsmin.cc
@@ -1112,7 +1112,7 @@ namespace spot
       {
         convert_aps(to_observe, iface, dict, dead, *ps);
       }
-    catch (std::runtime_error)
+    catch (const std::runtime_error&)
       {
         delete ps;
         dict->unregister_all_my_variables(iface.get());
diff --git a/tests/ltsmin/modelcheck.cc b/tests/ltsmin/modelcheck.cc
index 1b32d285e..7a5cc9f7e 100644
--- a/tests/ltsmin/modelcheck.cc
+++ b/tests/ltsmin/modelcheck.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2011, 2012, 2013, 2014, 2015, 2016 Laboratoire de
+// Copyright (C) 2011, 2012, 2013, 2014, 2015, 2016, 2017 Laboratoire de
 // Recherche et Developpement de l'Epita (LRDE)
 //
 // This file is part of Spot, a model checking library.
@@ -282,7 +282,7 @@ checked_main(int argc, char **argv)
           {
             res = ec->check();
           }
-        catch (std::bad_alloc)
+        catch (const std::bad_alloc&)
           {
             std::cerr << "Out of memory during emptiness check."
                       << std::endl;
@@ -326,7 +326,7 @@ checked_main(int argc, char **argv)
               {
                 run = res->accepting_run();
               }
-            catch (std::bad_alloc)
+            catch (const std::bad_alloc&)
               {
                 std::cerr << "Out of memory while looking for counterexample."
                           << std::endl;