Update MysteriousRestaurant.cc