Thanks for pointing this out! I made a comment on the accepted answer. I think there may be a way to make the argument work, but it is by no means trivial to do. The problem has to do with the fact that NBG cannot comprehend classes using formulas that quantify over classes, which is an essential part of the usual argument.
(Edit: Joel has now posted a detailed answer.)
]]>