Bugs in 0.9.2 for document.vlc.playing?

[hce]

Hi,

Is it a bug on 0.9.2 for document.vlc.playing? I play following script from 0.9.2 ActiveX plugin on IE. The document.vlc.playing was correct at begin, then it got wrong after caling document.vlc.play() in second time. The video is playing, but the document.vlc.playing stuck at value of "false". It could not make it pause anymore. Please advise what was missing here?

function play()
{
if(document.vlc.Playing)
{
document.vlc.pause();
}
else
{
document.vlc.play();
}
}