Beef and Guinness Pie

Name: Beef and Guinness Pie
Prep time: 15 min
Cook time: 1 h 30 min
Total time: 1 h 45 min
Cuisine: British
Ingredients: 1½ lb beef stew meat, cut into small cubes; 2 tablespoons all-purpose, regular flour; salt and pepper; 5 tablespoons olive oil; 4 medium shallots, chopped; 1 lb 500 g small button mushrooms, stems removed; 3 medium carrots, sliced; 400 ml beef stock; 2 cups Guinness; 2 teaspoons tomato paste; 2 tablespoons balsamic vinegar; 2 tablespoons Worcestershire sauce; puff pastry sheets, thawed; 1 egg, lightly beaten