some simplifications due to json syntax