diff --git a/src/shared/drivers/timer/TimestampTimer.h b/src/shared/drivers/timer/TimestampTimer.h
index f3da4e2c861e6631d3e37fc6afba8adeefb37dda..f2fdbee845a615611d81c82edf9afbb8822e4d1e 100644
--- a/src/shared/drivers/timer/TimestampTimer.h
+++ b/src/shared/drivers/timer/TimestampTimer.h
@@ -94,7 +94,7 @@ inline uint64_t TimestampTimer::getTimestamp()
 #else
     // With a timer frequency of 250KHz, the conversion from timer ticks to
     // microseconds only take a 2 byte shift (x4)
-    return static_cast<uint64_t>(timestampTimer.readCounter() << 2);
+    return static_cast<uint64_t>(timestampTimer.readCounter()) << 2;
 
     // If the timer frequency is not a multiple of 2 you must compute the value
     // this way: