diff --git a/src/misc/random.cc b/src/misc/random.cc
index ac966e872..75a8fa56d 100644
--- a/src/misc/random.cc
+++ b/src/misc/random.cc
@@ -1,5 +1,8 @@
-// Copyright (C) 2004, 2011  Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
+// -*- coding: utf-8 -*-
+// Copyright (C) 2011, 2012 Laboratoire de Recherche et Développement
+// de l'Epita (LRDE).
+// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
+// département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
@@ -38,7 +41,7 @@ namespace spot
   double
   drand()
   {
-#if HAVE_SRAND48 && HAVE_DRAND48
+#if SPOT_HAVE_SRAND48 && SPOT_HAVE_DRAND48
     return ::drand48();
 #else
     double r = ::rand();