diff -r 706f10bcdc3c -r f5690d918358 server/src/app/Repositories/RdfDocumentRepository.php
--- a/server/src/app/Repositories/RdfDocumentRepository.php	Sun Oct 02 19:11:06 2016 +0200
+++ b/server/src/app/Repositories/RdfDocumentRepository.php	Sun Oct 02 19:14:07 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')));