Minor corrections to the cURL source type in the web interface