diff --git a/repos/ports/src/virtualbox5/frontend/console.cc b/repos/ports/src/virtualbox5/frontend/console.cc
index 90fe58aca2..9bfc7f54c6 100644
--- a/repos/ports/src/virtualbox5/frontend/console.cc
+++ b/repos/ports/src/virtualbox5/frontend/console.cc
@@ -93,7 +93,6 @@ void fireRuntimeErrorEvent(IEventSource* aSource, BOOL a_fatal,
 
 void Console::i_onAdditionsStateChange()
 {
-	dynamic_cast<GenodeConsole *>(this)->update_video_mode();
 }
 
 void GenodeConsole::update_video_mode()