Mozilla/Safari plugin doesn't reset vlc.input.length/vlc.input.time

After playback stops (EOF) then time and length keeps the old value when pressing play these values are not resetted to 0. Same thing happens when switching to another stream while playing one. Time is updated when buffering of second stream has finished.