bug fixes in JSON-RPC requests