use herzlyia spelling in JSON