diff --git a/src/core/util/WallclockTimer.cc b/src/core/util/WallclockTimer.cc
index 4bb38144..3e578934 100644
--- a/src/core/util/WallclockTimer.cc
+++ b/src/core/util/WallclockTimer.cc
@@ -50,7 +50,7 @@ double WallclockTimer::getRuntimeAsDouble() {
 	
 	int length;
 	long t1,t2, duration;
-	double resultdouble
+	double resultdouble;
 	std::stringstream lengthinfo, resultstring; 
 	
 	if (isRunning) {
diff --git a/src/core/util/WallclockTimer.hpp b/src/core/util/WallclockTimer.hpp
index 6b9ea7e9..03f890f1 100644
--- a/src/core/util/WallclockTimer.hpp
+++ b/src/core/util/WallclockTimer.hpp
@@ -8,9 +8,7 @@
   #define __WALLCLOCKTIMER_HPP__
 
 #include <string>
-#include <stdio.h>
 #include <stdlib.h>
-#include <math.h>
 #include <sys/time.h>