Fixed a bug in timer.hpp