diff --git a/icfp-2016/intro.scrbl b/icfp-2016/intro.scrbl
index b3f743c..405a6fc 100644
--- a/icfp-2016/intro.scrbl
+++ b/icfp-2016/intro.scrbl
@@ -74,7 +74,7 @@ All this is clear from the program text to the programmer; our contribution
 
 A macro system provides a general framework for transforming and analyzing
  program syntax.
-Languages with strong macro systems are surprisingly expressive@~cite[f-scp-1991].
+Languages with strong macro systems are surprisingly expressive. @;@~cite[f-scp-1991].
 Case in point, Herman and Meunier demonstrated how macros can propogate
  information embedded in string values and syntax patterns to a
  static analyzer@~cite[hm-icfp-2004].
diff --git a/icfp-2016/paper.scrbl b/icfp-2016/paper.scrbl
index b562907..335b73c 100644
--- a/icfp-2016/paper.scrbl
+++ b/icfp-2016/paper.scrbl
@@ -31,7 +31,7 @@
 @include-section{intro.scrbl}
 @include-section{solution.scrbl}
 
-@;@section[#:style 'unnumbered]{Acknowledgments}
+@section[#:style 'unnumbered]{Acknowledgments}
 
 Sam Tobin-Hochstadt for reminding us that Typed Racket is macro-extensible,
 Stephen Chang for teaching us syntax properties and rename transformers,