fix example tux.json