Nup, looks like a b00 b00, in unlikely/untested code path.  The canonical json form for those fields is the string symbol.