Issue #117: fix the situation where the player sometimes got frozen in the buffering state.