diff --git a/lib/src/dutch/NumeralDut.gf b/lib/src/dutch/NumeralDut.gf
index f85880c0f..cd74a3887 100644
--- a/lib/src/dutch/NumeralDut.gf
+++ b/lib/src/dutch/NumeralDut.gf
@@ -1,4 +1,4 @@
-concrete NumeralDut of Numeral = CatDut ** open ResDut, Prelude in {
+concrete NumeralDut of Numeral = CatDut [Numeral,Digits] ** open ResDut, Prelude in {
 
 flags optimize = all_subs ;