Merge pull request #1155 from steffen-kiess/json-string