diff -r 46eee459a999 -r 66adcae6c762 hws/hw02.tex
--- a/hws/hw02.tex	Thu Oct 05 14:36:54 2023 +0100
+++ b/hws/hw02.tex	Fri Oct 13 15:07:37 2023 +0100
@@ -118,7 +118,7 @@
       normally not written---for example the JSON format for numbers
       explicitly forbids this. So 007 is not a number according to JSON.
 
-      \solution{Just numbers without leading 0s: $0 + (1..9)\cdot(0..1)^*$;
+      \solution{Just numbers without leading 0s: $0 + (1..9)\cdot(0..9)^*$;
         can be extended to decimal; similar for binary numbers
       }