diff --git a/projects/meta/index.md b/projects/meta/index.md
index 2cc064924edffd519e6c342852f7cdbede95db5d..4aa5479e4529360e24f326f02dfbf718b136a641 100644
--- a/projects/meta/index.md
+++ b/projects/meta/index.md
@@ -7,7 +7,7 @@ permalink: /projects/
 {% assign projects = site.pages | where: "layout", "project" | where: "active", true | sort: "start_date" %}
 
 This page lists the projects of the KWARC group with current, external funding
-([completed projects](../completed). Projects we engage in without funding can be found
+([completed projects](../completed)). Projects we engage in without funding can be found
 under [KWARC Systems](../../systems/).
 
 <ul class="collection">
diff --git a/systems/arXMLiv.md b/systems/arXMLiv.md
index 129a8b65390391ac096379322867ac291c72646f..97d2ce1eb2805a79bbab3c2507b1653dde72833d 100644
--- a/systems/arXMLiv.md
+++ b/systems/arXMLiv.md
@@ -2,14 +2,15 @@
 layout: system
 
 title: arXMLiv
-
+teaser: Translating the arXiv to XML/HTML5 
 start_date: '2006'
 
 people:
     - mkohlhase
     - dginev
 
-website: http://arxiv.org
+website: http://cortex.mathweb.info
+repository: https://github.com/dginev/CorTeX
 ---
 
 The [Cornell e-print arXiv](http://arxiv.org) contains one of the largest corpora of scientific literature in the world. Unfortunately, its contents are locked up in the TeX/LaTeX format, which makes it nearly useless for knowledge management techniques. We translate it to XML to have a basis for uncovering it's structural semantics.
diff --git a/systems/kat.md b/systems/kat.md
index a636b38348a194a2b09a5ccefc4a7870ce66c470..7750b5c2c94b0a87c7dfc47b18fd51f10792e7bf 100644
--- a/systems/kat.md
+++ b/systems/kat.md
@@ -1,14 +1,17 @@
 ---
 layout: system
 
-title: "KAT: An Annotation Tool for STEM Documents" 
+title: "KAT: KWARC Annotation Tool" 
+teaser: An Annotation Tool for STEM Documents
 
 start_date: 2013-06
 
 people:
+	- mkohlhase
     - twiesing
 
 repository: https://github.com/KWARC/KAT 
 ---
 
-KAT is an  annotation-ontology independent annotation tool for HTML5 documents. It can even annotate MathML. 
+KAT is an  annotation-ontology independent annotation tool for HTML5 documents. It can
+even annotate MathML. We use it for maths corpus linguistics.
diff --git a/systems/llamapun.md b/systems/llamapun.md
index 5916d49be0bfcae84592cabe7854031dc7d4a01f..a5f31aff9188f2e7ea1be07e3f41555d05629a57 100644
--- a/systems/llamapun.md
+++ b/systems/llamapun.md
@@ -2,6 +2,7 @@
 layout: system
 
 title: "LLaMaPuN: Language and Mathematics Processing and Understanding" 
+teaser: A RUST library for math corpus linguistics.
 
 start_date: 2008-11
 
diff --git a/systems/smglom.md b/systems/smglom.md
index badc559ec6217baa5f9bdddac09c2e19a4568066..766820d4912e08b49808cd2e1d954f87333d5882 100644
--- a/systems/smglom.md
+++ b/systems/smglom.md
@@ -1,7 +1,8 @@
 ---
 layout: system
 
-title: "The Semantic, Multilingual Glossary of Mathematics"
+title: "SMGLoM; The Semantic, Multilingual Glossary of Mathematics"
+teaser: A terminological resource for Mathematics. 
 
 start_date: 2013-11
 
@@ -9,4 +10,5 @@ people:
     - mkohlhase
     - cjucovschi
     - miancu
----
\ No newline at end of file
+---
+The SMGloM is a structured terminology for mathematics. It combines lexical information about the "Words of Mathematics" (in multiple languages) with semantic information about their dependencies. Multiple services can be derived from this terminology, e.g. a [classical glossary](https://mathhub.info/mh/glossary) and a [math dictionary](https://mathhub.info/mh/dictionary).