diff --git a/src/Common/ProfileEvents.h b/src/Common/ProfileEvents.h
index e670b8907d2..f196ed5a04c 100644
--- a/src/Common/ProfileEvents.h
+++ b/src/Common/ProfileEvents.h
@@ -40,6 +40,7 @@ namespace ProfileEvents
         Timer(Counters & counters_, Event timer_event_, Event counter_event, Resolution resolution_);
         ~Timer() { end(); }
         void cancel() { watch.reset(); }
+        void restart() { watch.restart(); }
         void end();
         UInt64 get();
 
diff --git a/utils/check-style/check-style b/utils/check-style/check-style
index 5eae029cc1f..7f25ca4607c 100755
--- a/utils/check-style/check-style
+++ b/utils/check-style/check-style
@@ -65,6 +65,7 @@ EXTERN_TYPES_EXCLUDES=(
     ProfileEvents::increment
     ProfileEvents::incrementForLogMessage
     ProfileEvents::getName
+    ProfileEvents::Timer
     ProfileEvents::Type
     ProfileEvents::TypeEnum
     ProfileEvents::dumpToMapColumn
@@ -242,7 +243,7 @@ done
 
 # All submodules should be from https://github.com/
 git config --file "$ROOT_PATH/.gitmodules" --get-regexp 'submodule\..+\.url' | \
-while read -r line; do 
+while read -r line; do
     name=${line#submodule.}; name=${name%.url*}
     url=${line#* }
     [[ "$url" != 'https://github.com/'* ]] && echo "All submodules should be from https://github.com/, submodule '$name' has '$url'"