Changes in sokoban demo