fixes bug due to other pull request: json-preferences

who taught me to merge? :)