miner border-radius, fix bug in playground.html