html5 video player outputting result of "$video->html5_player"

I noticed when using VideoJS player for an html5 video, the text "videojs" was being outputted on screen just before the player itself. After a bit of hunting around, it appears there is an "echo" on line 226 of video.theme.inc - should this be removed?

  echo $video->html5_player = variable_get('video_extension_' . $video->player . '_html5_player', '');