This sounds more like a flaky order matching algorithm than anything -- bids over asks should be executed at the ask (or the other way round if the ask comes in later). I.e. it should never happen on an exchange.