Merge pull request #4247 from ivan/info-json