bug in from/json.js marked with //BUG undefined