diff --git a/tex/beautysource.png b/tex/beautysource.png
index 984026628e3e3593d9804ef65c2ecd7c780d0376..ba543dcda96d135136cd39c2b2627485af11e12f 100644
Binary files a/tex/beautysource.png and b/tex/beautysource.png differ
diff --git a/tex/matroids.png b/tex/matroids.png
index eb2eb882f91dd2510b4d23eb97ebcb20d448a286..42806d96760e2f855fbb97d9d25507c1712f2176 100644
Binary files a/tex/matroids.png and b/tex/matroids.png differ
diff --git a/tex/usecase.tex b/tex/usecase.tex
index ea676051e40ac68844ff186c53344effc6fed797..227078eb3be8d87772a1216c8a92b20a306c771f 100644
--- a/tex/usecase.tex
+++ b/tex/usecase.tex
@@ -3,7 +3,7 @@ stated in the introduction. A screenshot of Jane's theory of beautiful sets is g
 is based on the (basic higher-order logic) foundation of the Math-in-the-Middle library (\cite{ODK:mitm:16} developed natively in MMT.
 
 \begin{figure}[ht]\centering
-  \fbox{\includegraphics[width=0.6\textwidth]{beautysource}}
+  \fbox{\includegraphics[width=\textwidth]{beautysource}}
   \fbox{\includegraphics[width=\textwidth]{results}}
 \caption{A Theory of ``Beautiful Sets'' in MMT Surface Syntax and Results of the Viewfinder}\label{fig:use:source}
 \end{figure}