diff -r ff6cf3fc5f40 -r 3fccf43160a7 server/src/app/Repositories/RdfDocumentRepository.php
--- a/server/src/app/Repositories/RdfDocumentRepository.php	Wed Sep 28 15:58:18 2016 +0200
+++ b/server/src/app/Repositories/RdfDocumentRepository.php	Wed Sep 28 17:24:02 2016 +0200
@@ -178,7 +178,7 @@
         return $this->queryDocs();
     }
 
-    public function get($id, bool $short=false) {
+    public function get($id, $short=false) {
 
         if(strpos($id, config('corpusparole.corpus_id_scheme')) === 0) {
             $id = substr($id, strlen(config('corpusparole.corpus_id_scheme')));