#3: fix max random size in casper file