diff --git a/examples/nqueens/NQueens.gf b/examples/nqueens/NQueens.gf
index 960bef6d1..6eec8953f 100644
--- a/examples/nqueens/NQueens.gf
+++ b/examples/nqueens/NQueens.gf
@@ -6,7 +6,7 @@ cat [Nat] ;
 cat Vec (s,l : Nat) [Nat] ;
 cat Sat Nat Nat [Nat] ;
 
-data queens : Matrix (succ (succ (succ (succ (succ (succ (succ (succ zero)))))))) -> S ;
+data nqueens : (n : Nat) -> Matrix n -> S ;
 
 data nilV  : ({s} : Nat) -> ({c} : [Nat]) -> Vec s zero c ;
      consV : ({l},j,k : Nat) -> 
diff --git a/examples/nqueens/NQueensAscii.gf b/examples/nqueens/NQueensAscii.gf
index a5bb2ed76..489f5ce7b 100644
--- a/examples/nqueens/NQueensAscii.gf
+++ b/examples/nqueens/NQueensAscii.gf
@@ -3,7 +3,7 @@ concrete NQueensAscii of NQueens = NatAscii ** {
 lincat S, Matrix, Vec = Str ;
        ListNat, Sat = {} ;
 
-lin queens m = m ;
+lin nqueens _ m = m ;
 
 lin nilV _ _ = "" ;
     consV _ j k _ _ v = j ++ "X" ++ k ++ ";" ++ v ;