small fix to machineplayer