Fix issue in cliPlayer.ml