Bugfix: typo in variable name

 required for maximal lotteries