Fixed formatting of JSON for editor preferences section