--- a/util/human/io.lua	Fri Nov 12 14:21:15 2021 +0100
+++ b/util/human/io.lua	Fri Nov 12 14:22:21 2021 +0100
@@ -93,11 +93,11 @@
 end
 
 local function padright(s, width)
-	return s..string.rep(" ", width-#s);
+	return s..string.rep(" ", width-len(s));
 end
 
 local function padleft(s, width)
-	return string.rep(" ", width-#s)..s;
+	return string.rep(" ", width-len(s))..s;
 end
 
 local pat = "[%z\001-\127\194-\253][\128-\191]*";