The way matches are highlighted seems to depend on wether one searchs "regular" or "OCR adjusted".
When I search for "muranowska 12" in regular mode, I get "muranowska 12" highlighted. When I do the same search in OCR adjusted, muranowska and 12 are separately highlighted.