I think you’re right. Looks counter-intuitive because trading queens puts the black king in the perfect position to capture our pawn, giving black two passed pawns against a lone king. Didn’t calculate it all the way through, so I don’t know whether it’s black or white who’s going to be stalemated.