diff --git a/library/Core.cpp b/library/Core.cpp
index af048d9c2..3cccd15f1 100644
--- a/library/Core.cpp
+++ b/library/Core.cpp
@@ -239,7 +239,7 @@ void fHKthread(void * iodata)
     bool keep_going = true;
     while(keep_going)
     {
-        std::string stuff = core->getHotkeyCmd(keep_going); // waits on std::mutex!
+        std::string stuff = core->getHotkeyCmd(keep_going); // waits on mutex!
         if(!stuff.empty())
         {
             color_ostream_proxy out(core->getConsole());