diff --git a/src/one-body-sample.cc b/src/one-body-sample.cc
index 1e5016fa83f3558b95fef100fc4c524dc5ae3aa9..fee77c9e912d1ba336bad0040d3050b6429ba978 100644
--- a/src/one-body-sample.cc
+++ b/src/one-body-sample.cc
@@ -460,7 +460,7 @@ int main(int argc, char *argv[]) {
         writeVtk<P1Basis, P0Basis, VectorType, SingletonVectorType, GridView>(
             p1Basis, u, alpha, p0Basis, vonMisesStress, leafView,
             (boost::format("obs%d") % run).str());
-      };
+      }
     }
     if (parset.get<bool>("enableTimer"))
       std::cerr << std::endl << "Making " << timesteps << " time steps took "