diff --git a/Comparison.tex b/Comparison.tex
index dd78ee3cae456b03a0f5d3a7c67025e2d7b220c9..7ce0644ae43e4837865bff2bc4925aac5befd2d1 100644
--- a/Comparison.tex
+++ b/Comparison.tex
@@ -54,6 +54,11 @@ On \emph{the computational side}, it combines
 Note that all of these need to share a notion of ``mathematical state'' so that the user
 interface can present a consistent view to the user.
 
+\begin{figure}[ht]
+  \input{Syntesis}
+  \caption{Jupyter combined with Active Documents}\label{fig:graph4}
+\end{figure}
+
 The new player process relies on the availability of three ``declarative compondens'' that
 also need to be in a consistent representation. 
 \begin{compactenum}
@@ -61,12 +66,8 @@ also need to be in a consistent representation.
 \item theory-graph shaped content representations, and 
 \item engine-specific code 
 \end{compactenum}
-These tri-partite representations 
-
-\begin{figure}[ht]
-  \input{Syntesis}
-  \caption{Jupyter combined with Active Documents}\label{fig:graph4}
-\end{figure}
+We will call these tri-partite representations that combine the parts of Jupyter notebooks
+and OMDoc documents \textbf{OpenDreamKit Notebooks}.
 
 
 
diff --git a/abstract.tex b/abstract.tex
index 4c781b2a10836e351ae7de683e9280b42897ed2a..1ca1ad3c1e82925688697287bdaf2c2a6762d07f 100644
--- a/abstract.tex
+++ b/abstract.tex
@@ -7,7 +7,7 @@
   mathematical software system and the latter make semantically annotated documents
   semantic. 
 
-  We report on two systems in the \pn project: Jupyther -- a notebook server for various
+  We report on two systems in the \pn project: Jupyter -- a notebook server for various
   kernels, and MathHub.info -- a platform for active mathematical documents. We identify
   commonalities and differences and develop a vision for integrating their
   functionalitities.
diff --git a/conclusion.tex b/conclusion.tex
index cbe479c41721a377a1a31c759fd29d1ce310c4f9..543830fadb73468a0e3dc5edcf664d3b3e5504d8 100644
--- a/conclusion.tex
+++ b/conclusion.tex
@@ -1,5 +1,5 @@
 \section{Conclusion}\label{sec:concl}
-We have surveyed the two document-formed user interfaces in the \pn project: Jupyther
+We have surveyed the two document-formed user interfaces in the \pn project: Jupyter
 Notebooks and Active Documents and developed a joint perspective on them that allows us to
 propose a joint generalization oft the functionalities combines their respetive
 advantages. We feel that embedding computations in arbitrary places in traditional
@@ -10,9 +10,9 @@ computation tools, as they naturally have experiences with paper articles and te
 from their studies.
 
 \subsection*{Acknowledgements} The authors are grateful to Min RK from Simula for
-discussions on the inner workings of Jupyther and help with initial experiments with
-setting up a a MMT kernel for Jupyther. Florian Rabe, Dan Alistarh, and Tom Wiesing have
-worked on an initial integration of MMT with Jupyther that shaped and validated the vision
+discussions on the inner workings of Jupyter and help with initial experiments with
+setting up a a MMT kernel for Jupyter. Florian Rabe, Dan Alistarh, and Tom Wiesing have
+worked on an initial integration of MMT with Jupyter that shaped and validated the vision
 for an integrated user interface for the \pn VRE formulated in this report. Discussions
 with Nicolas Thierry have refined the ideas presented here.
 
diff --git a/intro.tex b/intro.tex
index 79999f2dd56fe860efa8702cc8d4ff23d74a9528..b8a37c1bd4ad5cd437fb924d10957752a735fa8b 100644
--- a/intro.tex
+++ b/intro.tex
@@ -8,12 +8,12 @@ allow mathematical text around the computation cells of a real-eval-print loop o
 mathematical software system and the latter make semantically annotated documents
 semantic.
   
-We report on two systems in the \pn project: Jupyther\cite{jupyther-project:on} -- a
+We report on two systems in the \pn project: Jupyter\cite{jupyter-project:on} -- a
 notebook server for various kernels, and MathHub.info -- a platform for active
 mathematical documents. We identify commonalities and differences and develop a vision for
 integrating their functionalitities.
   
-The report is organized as follows: Sections~\ref{sec:jupyther} and~\ref{sec:active}
+The report is organized as follows: Sections~\ref{sec:jupyter} and~\ref{sec:active}
 introduce the two systems individually. Section~\ref{sec:comparison} relates them under a
 common perspective and uses that to develop a vison of a joint generalization that
 combines the advantages. Section~\ref{sec:concl} concludes the report.
diff --git a/jupyter.tex b/jupyter.tex
index 1b5317a8d7d862bdedb0afb8eb458dfe5e7d5ee7..6cd0b5970bea4a2e179f8ed7dcd48ebe072a95a7 100644
--- a/jupyter.tex
+++ b/jupyter.tex
@@ -1,10 +1,10 @@
-\section{Jupyther}\label{sec:jupyther}
+\section{Jupyter}\label{sec:jupyter}
 
 \subsection{Introduction}
 
-Project Jupyter~\cite{jupyther-project:on,jupyther-doc:on,jupyther-git:on} aims to support
+Project Jupyter~\cite{jupyter-project:on,jupyter-doc:on,jupyter-git:on} aims to support
 interactive data science and scientific computing across all programming languages. The
-notebook~\cite{jupyther-notebook:on} extends the console-based approach to interactive
+notebook~\cite{jupyter-notebook:on} extends the console-based approach to interactive
 computing in a qualitatively new direction, providing a web-based application suitable for
 capturing the whole computation process: developing, documenting, and executing code, as
 well as communicating the results. The Jupyter notebook combines two components:
@@ -16,7 +16,7 @@ well as communicating the results. The Jupyter notebook combines two components:
   and rich media representations of objects.
 \end{enumerate}
 \cite{juplit:on} gives an overview over the best practices for writing (and using)
-Jupyther notebooks.
+Jupyter notebooks.
 
 \subsection{What is there?}\label{sec:intro}
 
@@ -144,7 +144,7 @@ implementation uses the ZeroMQ library for messaging within and between hosts.
 \begin{figure}[ht]
   \centering
   \includegraphics[width=.7\textwidth]{KernelCommunication}
-  \caption{The basic design explained}\label{fig:jupytherkernel}
+  \caption{The basic design explained}\label{fig:jupyterkernel}
 \end{figure} 
 
 A single kernel can be simultaneously connected to one or more frontends. The kernel has
@@ -226,7 +226,7 @@ interface. When the cell is in command mode, there is no icon in that location.
 Now let’s say that the user has chosen to open a Markdown file instead of a Notebook file whilst
 in the Notebook Dashboard. If so, the file will be opened in the File Editor.
 
-\subsection{Future Plans for Jupyther}
+\subsection{Future Plans for Jupyter}
 
 \subsubsection{Embracing web standards}
 By being a pure web application using HTML, Javascript, and CSS, the Notebook can get all
diff --git a/report.toc b/report.toc
index d55d30ffb2ebb20925ceb482cd4de22564484ed6..db3ddafaa54a6814770d17e7def14cb6af2b27e9 100644
--- a/report.toc
+++ b/report.toc
@@ -50,7 +50,7 @@
 \defcounter {refsection}{0}\relax 
 \contentsline {subsection}{\tocsubsection {}{3.6}{Conclusion}}{14}{subsection.3.6}
 \defcounter {refsection}{0}\relax 
-\contentsline {section}{\tocsection {}{4}{A Joint Perspective and Generalization of Jupyther and Active Documents}}{16}{section.4}
+\contentsline {section}{\tocsection {}{4}{A Joint Perspective and Generalization of Jupyter and Active Documents}}{16}{section.4}
 \defcounter {refsection}{0}\relax 
 \contentsline {section}{\tocsection {}{5}{Conclusion}}{18}{section.5}
 \defcounter {refsection}{0}\relax 
diff --git a/rest.bib b/rest.bib
index 3979e2e2627467b48581743e056c5c7784a85f18..230a2fc036bdf90cdce1e1479a72a63b31dff2e9 100644
--- a/rest.bib
+++ b/rest.bib
@@ -1,21 +1,21 @@
 %% put the new stuff there
 
-@online{jupyther-project:on,
+@online{jupyter-project:on,
   label = {Jup},
   title = {Project Jupyter},
   url = {http://www.jupyter.org}}
 
-@online{jupyther-doc:on,
+@online{jupyter-doc:on,
   label = {JupDoc},
   title = {What is Jupyter},
   url = {http://jupyter-notebook-beginner-guide.readthedocs.org/en/latest/what_is_jupyter.html}}
 
-@online{jupyther-notebook:on,
+@online{jupyter-notebook:on,
   label = {JupNotebook},
   title = {Jupyter Notebook},
   url = {http://jupyter-notebook.readthedocs.org/en/latest/notebook.html#notebook-documents}}
 
-@online{jupyther-git:on,
+@online{jupyter-git:on,
   label = {JupGit},
   title = {Git Repository Jupyter},
   url = {https://github.com/jupyter}}