diff --git a/contracts/sophia.md b/contracts/sophia.md
index 556d014f..f5106c18 100644
--- a/contracts/sophia.md
+++ b/contracts/sophia.md
@@ -13,18 +13,22 @@ some blockchain specific primitives, constructions and types have been added.
 ## Table of Contents
 - [Language Features](#language-features)
     - [Contracts](#contracts)
-        -  [Calling other contracts](#calling-other-contracts)
-    -  [Mutable state](#mutable-state)
-    -  [Payable](#payable)
-    -  [Namespaces](#namespaces)
-    -  [Splitting code over multiple files](#splitting-code-over-multiple-files)
-    -  [Types](#types)
-    -  [Arithmetic](#arithmetic)
-    -  [Bit fields](#bit-fields)
-    -  [Type aliases](#type-aliases)
-    -  [Algebraic data types](#algebraic-data-types)
-    -  [Lists](#lists)
-    -  [Maps and records](#maps-and-records)
+        - [Calling other contracts](#calling-other-contracts)
+    - [Mutable state](#mutable-state)
+        - [Stateful functions](#stateful-functions)
+    - [Payable](#payable)
+        - [Payable contracts](#payable-contracts)
+        - [Payable entrypoints](#payable-entrypoints)
+    - [Namespaces](#namespaces)
+    - [Splitting code over multiple files](#splitting-code-over-multiple-files)
+    - [Types](#types)
+    - [Literals](#literals)
+    - [Arithmetic](#arithmetic)
+    - [Bit fields](#bit-fields)
+    - [Type aliases](#type-aliases)
+    - [Algebraic data types](#algebraic-data-types)
+    - [Lists](#lists)
+    - [Maps and records](#maps-and-records)
         - [Constructing maps and records](#constructing-maps-and-records)
         - [Accessing values](#accessing-values)
         - [Updating a value](#updating-a-value)
@@ -32,7 +36,8 @@ some blockchain specific primitives, constructions and types have been added.
         - [Map implementation](#map-implementation)
     - [Strings](#strings)
         - [Builtin functions on strings](#builtin-functions-on-strings)
-        - [Builtin functions on integers](#builtin-functions-on-integers)
+    - [Byte arrays](#byte-arrays)
+    - [Builtin functions on integers](#builtin-functions-on-integers)
         - [Builtin functions on addresses](#builtin-functions-on-addresses)
     - [Builtins](#builtins)
         - [Cryptographic primitives](#cryptographic-primitives)
@@ -41,12 +46,14 @@ some blockchain specific primitives, constructions and types have been added.
         - [Oracle interface](#oracle-interface)
             - [Oracle register](#oracle-register)
             - [Oracle extend](#oracle-extend)
-            - [Orcacle get_question](#oracle-get_question)
+            - [Oracle get_question](#oracle-get_question)
             - [Oracle respond](#oracle-respond)
             - [Oracle query](#oracle-query)
             - [Oracle query_fee](#oracle-query_fee)
             - [Oracle get_answer](#oracle-get_answer)
             - [Example](#example)
+            - [Oracle check](#oracle-check)
+            - [Oracle check_query](#oracle-check_query)
         - [AENS interface](#aens-interface)
         - [Events](#events)
         - [Contract primitives](#contract-primitives)
@@ -67,7 +74,7 @@ some blockchain specific primitives, constructions and types have been added.
 - [Examples](#examples)
 - [The lifetime of a contract](#the-lifetime-of-a-contract)
     - [Killing a contract](#killing-a-contract)
-- [The Sophia_01 ABI](#the-sophia_01-abi)
+- [The Sophia\_01 ABI](#the-sophia_01-abi)
     - [Byte code](#byte-code)
         - [Meta data](#meta-data)
         - [Type information](#type-information)
@@ -79,6 +86,7 @@ some blockchain specific primitives, constructions and types have been added.
     - [Storing the contract state](#storing-the-contract-state)
     - [Remote contract calls](#remote-contract-calls)
 
+
 ## Language Features
 ### Contracts