Seems more like poor naming on Mousr's part.
I pointed out in that I'm fully aware where the probabilities are, and the fact the 'keys are close to one another' - that's my whole point, it's a statistical suppression.
The 'short view' is to just show 'mice' - but there are problems with that:
1) 'over correction' is far worse error that 'insufficient correction'
2) There are tons of 'Mousr' products out there, i.e. products that overlap closely to more common things.
The likelihood of some random error being a product is low - and since 'Mousr' is an actual product, it makes sense to show it.
In this case, the rational product choice would be to show 'Mousr' first, and to not assume over-correction.
To take a more extreme example i.e. going with the 'highest probability case' ... it might make sense by that logic to show only the most commonly purchases products purchase, almost whatever is typed.