Several minor rewrites, getter GET_JACKPOT_POINTS() added