Corrected json encoding to appease ycmd server.