Fix problem with JSON preferences file

I know eval() is evil and I’m probably going to hell for this, but it’s
my best shot right now :D