To comply with eventual JSON output