diff --git a/mplayer.c b/mplayer.c
index b2bbe45d03..d79f062ca3 100644
--- a/mplayer.c
+++ b/mplayer.c
@@ -3590,6 +3590,7 @@ if (stream->type==STREAMTYPE_DVDNAV && dvd_nav_still)
 	  }
 	}
   }
+  break;
 #endif /* HAS_DVBIN_SUPPORT	*/
     case MP_CMD_TV_LAST_CHANNEL :  {
       if (file_format == DEMUXER_TYPE_TV) {