diff --git a/lib/filelib.php b/lib/filelib.php
index fc697510d1b..4042ab82b7d 100644
--- a/lib/filelib.php
+++ b/lib/filelib.php
@@ -1290,7 +1290,8 @@ function download_file_content($url, $headers=null, $postdata=null, $fullrespons
         //reinstate affected curl options
         curl_setopt_array ($ch, array(
             CURLOPT_RETURNTRANSFER => true,
-            CURLOPT_NOBODY         => false)
+            CURLOPT_NOBODY         => false,
+            CURLOPT_HTTPGET        => true)
         );
     }