Best vegetarian bean burritos recipe

Ingredients

• 1 tablespoon vegetable oil
• 1 onion, chopped
• 2 garlic cloves, crushed
• 1 green bell pepper, seeds removed, chopped
• 1 serrano chile, seeds removed, chopped
• 1/2 teaspoon ground cumin
• 1 (14 ounce) can kidney beans, drained and rinsed
• 1 cup frozen corn, thawed
• 1 tomato, chopped
• 2 tablespoons ketchup
• 2 tablespoons water
• 2 tablespoons chopped fresh cilantro
• Shredded lettuce, shredded cheese, and/or sour cream, as desired