It seems that there is a bug when using a currency switcher plugin such as https://codecanyon.net/item/woocommerce-currency-switcher/8085217 (free version: https://en-gb.wordpress.org/plugins/woocommerce-currency-switcher/)
Instead of showing the converted price in the search results, it shows the new currency symbol, with the numeric value from the woocommerce base currency.
Example: a product that costs £10 GBP will show as $10 USD when you switch to USD, instead of $12 USD
Any idea how to fix this? Thanks!