Correctly typeset cURL