diff --git a/website/server/extractDocs.js b/website/server/extractDocs.js
index 6407a5395..f78aef2ee 100644
--- a/website/server/extractDocs.js
+++ b/website/server/extractDocs.js
@@ -377,7 +377,7 @@ function getTypehint(typehint) {
   try {
     var typehint = JSON.parse(typehint);
   } catch (e) {
-    return typehint.split('|').map(type => type.trim());
+    return typehint.toString().split('|').map(type => type.trim());
   }
   return getTypehintRec(typehint);
 }