diff --git a/common/timer.hh b/common/timer.hh
index 9653c77f63c2f852d13d78de13812698da9bc977..4c746420b38ed2b963f8f8f4630a44f7e6216640 100644
--- a/common/timer.hh
+++ b/common/timer.hh
@@ -45,6 +45,7 @@ namespace Dune {
   class Timer
   {
   public:
+
     //! A new timer, start immediately
     Timer () throw(TimerError)
     {