small correction from javascript to the more compatible json syntax