Laundering is usually "the concealment of the origins of illegally obtained money." That could apply to swapping for euros or whatever. It's whether you are doing it to conceal the origins that is important.
Yeah, I think they messed this up. In my view they could have charged him with money laundering if they could have proven that the bitcoins he was using were purchased with illicitly obtained funds. The laundering would have taken place when the bitcoins were purchased, not when they were sold.