diff --git a/prism-examples/firewire/README b/prism-examples/firewire/README
index 174578db..31e1104f 100644
--- a/prism-examples/firewire/README
+++ b/prism-examples/firewire/README
@@ -22,8 +22,8 @@ M. Stoelinga and F. Vaandrager
 Root Contention in IEEE 1394
 In Proc.  5th AMAST Workshop on Real-Time and Probabilistic Systems (ARTS'99), pp. 53-74, 1999
 (Available as Volume 1601 of LNCS, (c) Springer Verlag)
-
-[KNPS06]
-M. Kwiatkowska, G. Norman, D. Parker and J. Sproston
-Performance Analysis of Probabilistic Timed Automata using Digital Clocks
-Formal Methods in System Design, 29:33-78, 2006
+
+[KNPS06]
+M. Kwiatkowska, G. Norman, D. Parker and J. Sproston
+Performance Analysis of Probabilistic Timed Automata using Digital Clocks
+Formal Methods in System Design, 29:33-78, 2006
\ No newline at end of file