diff --git a/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/lncs.scrbl b/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/lncs.scrbl
index fa60825c..b2b7c320 100644
--- a/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/lncs.scrbl
+++ b/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/lncs.scrbl
@@ -64,29 +64,30 @@ Here is an example of a paper written in the LNCS format:
              @url["http://pdos.csail.mit.edu/scigen"]}
 
 @codeblock[#:keep-lang-line? #t]|{
-  #lang scribble/lncs
+#lang scribble/lncs
 
-  @authors[@author[#:inst "1"]{Lauritz Darragh}
-           @author[#:inst "2"]{Nikolaj Kyran}
-           @author[#:inst "2"]{Kirsten Gormlaith}
-           @author[#:inst "2"]{Tamaz Adrian}]
+@authors[@author[#:inst "1"]{Lauritz Darragh}
+         @author[#:inst "2"]{Nikolaj Kyran}
+         @author[#:inst "2"]{Kirsten Gormlaith}
+         @author[#:inst "2"]{Tamaz Adrian}]
 
-  @institutes[@institute["University of Southeast Boston"
-                         @linebreak[]
-                         @email|{darragh@cs.seboston.edu}|]
-              @institute["University of Albion"
-                         @linebreak[]
-                         @email|{{nkyran,gorm,tamaz}@cs.albion.ac.uk}|]]
+@institutes[
+  @institute["University of Southeast Boston"
+             @linebreak[]
+             @email|{darragh@cs.seboston.edu}|]
+  @institute["University of Albion"
+             @linebreak[]
+             @email|{{nkyran,gorm,tamaz}@cs.albion.ac.uk}|]]
 
-  @title{Arak: Low-Energy, Interposable Theory }
+@title{Arak: Low-Energy, Interposable Theory}
 
-  @abstract{The implications of client-server symmetries have been
-  far-reaching and pervasive. Given the current status of
-  constant-time theory, mathematicians daringly desire the synthesis
-  of rasterization, which embodies the essential principles of
-  algorithms. In this work, we describe a client-server tool for
-  investigating flip-flop gates (Arak), verifying that the
-  producer-consumer problem can be made homogeneous, secure, and
-  wireless.}
+@abstract{The implications of client-server symmetries have been
+far-reaching and pervasive. Given the current status of
+constant-time theory, mathematicians daringly desire the synthesis
+of rasterization, which embodies the essential principles of
+algorithms. In this work, we describe a client-server tool for
+investigating flip-flop gates (Arak), verifying that the
+producer-consumer problem can be made homogeneous, secure, and
+wireless.}
 }|