diff --git a/dune/common/deprecated.hh b/dune/common/deprecated.hh
index ffa65ef9195f5022379ba0796669759ea79f5af3..3075dac92ebb0cf4751e90a7b469885b46e2cf0e 100644
--- a/dune/common/deprecated.hh
+++ b/dune/common/deprecated.hh
@@ -5,7 +5,7 @@
 
 //! @addtogroup Common
 //! @{
-#if defined(DOXYGEN) or not defined(HAS_ATTRIBUTE_DEPRECATED)
+#if defined(DOXYGEN) || !defined(HAS_ATTRIBUTE_DEPRECATED)
 //! Mark some entity as deprecated
 /**
  * \code
@@ -80,7 +80,7 @@
 #define DUNE_DEPRECATED __attribute__((deprecated))
 #endif
 
-#if defined(DOXYGEN) or not defined(HAS_ATTRIBUTE_DEPRECATED_MSG)
+#if defined(DOXYGEN) || !defined(HAS_ATTRIBUTE_DEPRECATED_MSG)
 //! Mark some entity as deprecated
 /**
  * \code