diff --git a/include/amici/misc.h b/include/amici/misc.h
index 879439bdf5..6dc3294240 100644
--- a/include/amici/misc.h
+++ b/include/amici/misc.h
@@ -333,6 +333,10 @@ class CpuTimer {
                / CLOCKS_PER_SEC;
     }
 
+    /**
+     * @brief Whether the timer uses a thread clock (i.e. provides proper,
+     * thread-specific CPU time).
+     */
     static bool const uses_thread_clock = false;
 
   private: