diff --git a/external-latency.rkt b/external-latency.rkt
index 9020d8e..0be3098 100644
--- a/external-latency.rkt
+++ b/external-latency.rkt
@@ -82,7 +82,8 @@
 (void (match server-variation
 	[(? string? other)
 	 (printf "Press enter when the server has terminated.\n")
-	 (read-line)]))
+	 (read-line)]
+	[_ (void)]))
 
 (server-control 'wait)
 (log-info "Done.")