Not sure if this is actually needed any more with Jquery's json conversion.