Proper JSON output from velis