I was the one who first used the phrase market failure (wrongly, I gather). But the GP only used the idea that a market failed at something: "a failure of the marketplace", which is what my point still stands on.

If they only meant to talk about "market failures" as such, then they are guilty of pedantry