diff --git a/rtgui/batchqueuepanel.h b/rtgui/batchqueuepanel.h
index e21e01352..8ada3ae00 100644
--- a/rtgui/batchqueuepanel.h
+++ b/rtgui/batchqueuepanel.h
@@ -69,8 +69,8 @@ public:
     bool handleShortcutKey (GdkEventKey* event);
 
     // batchqueuelistener interface
-    void queueSizeChanged(int qsize, bool queueRunning, bool queueError, const Glib::ustring& queueErrorMessage);
-    bool canStartNext();
+    void queueSizeChanged(int qsize, bool queueRunning, bool queueError, const Glib::ustring& queueErrorMessage) override;
+    bool canStartNext() override;
 
 private:
     void startBatchProc ();