dashplayer_get_player() doesn't return value

dashplayer_get_player() doesn't return a value. It prints instead. All the docs indicate that the function should be used like this:

print dashplayer_get_player($params);

but the function does this:

function dashplayer_get_player($params) {
   print theme('dashplayer_play_flash', $params);
}

It presumably needs to do this instead:

function dashplayer_get_player($params) {
   return theme('dashplayer_play_flash', $params);
}

I would submit a patch but it's probably far quicker just to change the word. ;-)