no PDF for red-repeat-game