diff --git a/repos/os/src/server/input_filter/en_workman.chargen b/repos/os/src/server/input_filter/en_workman.chargen
index 8e9629bffc..a7b81479c6 100644
--- a/repos/os/src/server/input_filter/en_workman.chargen
+++ b/repos/os/src/server/input_filter/en_workman.chargen
@@ -118,31 +118,31 @@