fix for double in JSON