diff --git a/conclusion.tex b/conclusion.tex
index d0ad725..a527fa0 100644
--- a/conclusion.tex
+++ b/conclusion.tex
@@ -1,4 +1,5 @@
-\section{Conclusions}
+\vspace*{-0.05in}
+\section{Conclusion}
 \label{sec-conclusion}
 
 To conclude, we have described the \texttt{maybe} statement: a new language
@@ -7,7 +8,7 @@ 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.
 
-\section*{Acknowledgments}
+\subsubsection*{Acknowledgements}
 
 Students and faculty working on the \texttt{maybe} project are supported by
 NSF awards
@@ -15,4 +16,7 @@ NSF awards
 \href{http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=1409367}{1409367},
 and
 \href{http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=1423215}{1423215}.
+The \texttt{maybe} team thanks the anonymous reviewers and our shepherd,
+Mahadev Satyanarayanan, for their feedback.
 
+\vspace*{-0.05in}
diff --git a/paper.tex b/paper.tex
index b3c01d6..3cd6e1c 100644
--- a/paper.tex
+++ b/paper.tex
@@ -83,7 +83,7 @@ Jinghao Shi, Guru Prasad Srinivasa, and Lukasz Ziarek}
 
 {\scriptsize
 \balance
-\renewcommand{\baselinestretch}{0.9}
+\renewcommand{\baselinestretch}{0.8}
 \bibliographystyle{acm}
 \bibliography{references}
 }
diff --git a/related.tex b/related.tex
index 1c82e4a..75d03c5 100644
--- a/related.tex
+++ b/related.tex
@@ -16,13 +16,12 @@ AOP focusing on modularity and \texttt{maybe} focused on increasing runtime
 flexibility in the face of uncertainty.
 
 \texttt{maybe} shares similaries with language-based approaches to managing
-energy consumption in wireless sensor networks such as
-Eon~\cite{sensys07-eon} and Levels~\cite{sensys07-levels}. However, these
-approaches still require programmers to express certainty by associating code
-with particular energy states, rather than allowing the system to determine
-which energy states are appropriate as the \texttt{maybe} system would do.
-\texttt{maybe} can also enable adaptation driven by goals other than energy
-management.
+energy consumption such as Eon~\cite{sensys07-eon} and
+Levels~\cite{sensys07-levels}. However, these approaches still require
+programmers to express certainty by associating code with particular energy
+states, rather than allowing the \texttt{maybe} system to determine which
+energy states are appropriate. \texttt{maybe} can also enable adaptation
+driven by goals other than energy management.
 
 Attempts to enable more adaptive mobile systems date back to systems such as
 Odyssey~\cite{odyssey-sosp97}. However, a taxonomy of approaches to enabling