Work around more JSON silliness.