let json_encode do its job