diff --git a/conclusion.tex b/conclusion.tex
index 2e9d360..edd3f4d 100644
--- a/conclusion.tex
+++ b/conclusion.tex
@@ -8,7 +8,8 @@ development time and for that uncertainty to be resolved through later
 testing and adaptation. We are in the process of building a prototype of the
 \texttt{maybe} system for Android smartphones.
 
-\subsubsection*{Acknowledgments}
+\vspace*{-0.05in}
+\section*{Acknowledgments}
 
 Students and faculty working on the \texttt{maybe} project are supported by
 NSF awards
diff --git a/introduction.tex b/introduction.tex
index 958b016..bd43b09 100644
--- a/introduction.tex
+++ b/introduction.tex
@@ -114,7 +114,8 @@ activating an energy-saving alternative when appropriate.
 How that choice is made is discussed in the remainder of our paper. We begin
 by providing a more complete description of the \texttt{maybe} statement in
 Section~\ref{sec-maybe}. Section~\ref{sec-certainty} describes several
-techniques for collapsing compile-time uncertainty into the required runtime
-certainty. We continue by briefly describing several example use cases in
-Section~\ref{sec-usage} and related work in Section~\ref{sec-related}. We
-conclude in Section~\ref{sec-conclusion}.
+techniques for transforming development-time uncertainty into runtime
+certainty. We continue by describing several example use cases in
+Section~\ref{sec-usage}, discussing the implications of the \texttt{maybe}
+statement in Section~\ref{sec-discussion}, and presenting related work in
+Section~\ref{sec-related}. We conclude in Section~\ref{sec-conclusion}.
diff --git a/maybe.tex b/maybe.tex
index 10245b0..98aadc1 100644
--- a/maybe.tex
+++ b/maybe.tex
@@ -36,7 +36,7 @@ maybe {
 
 \label{fig-maybeexamples}
 
-\vspace*{-0.1in}
+\vspace*{-0.15in}
 
 \end{figure}