diff --git a/library/gecode/DOC.txt b/library/gecode/DOC.txt
index 3ca6d3888..24d2049ce 100644
--- a/library/gecode/DOC.txt
+++ b/library/gecode/DOC.txt
@@ -1,10 +1,8 @@
 USING THE GECODE MODULE
 =======================
 
-:- use_module(gecode).
-or
 :- use_module(library(gecode)).
-if it is installed as a library module
+
 
 CREATING A SPACE
 ================
diff --git a/library/gecode/disjunctor1.yap b/library/gecode/disjunctor1.yap
index 170a5fd84..4c8eae91f 100644
--- a/library/gecode/disjunctor1.yap
+++ b/library/gecode/disjunctor1.yap
@@ -16,7 +16,7 @@
 %% along with this program.  If not, see <http://www.gnu.org/licenses/>.
 %%=============================================================================
 
-:- use_module(gecode).
+:- use_module(library(gecode)).
 
 disjunctor1(X_,Y_) :-
 	Space := space,
diff --git a/library/gecode/disjunctor2.yap b/library/gecode/disjunctor2.yap
index cf4fcd6a6..bfbbdc13b 100644
--- a/library/gecode/disjunctor2.yap
+++ b/library/gecode/disjunctor2.yap
@@ -16,7 +16,7 @@
 %% along with this program.  If not, see <http://www.gnu.org/licenses/>.
 %%=============================================================================
 
-:- use_module(gecode).
+:- use_module(library(gecode)).
 
 disjunctor2(X_,Y_) :-
 	Space := space,
diff --git a/library/gecode/send_more_money.yap b/library/gecode/send_more_money.yap
index 7df9db5a9..cf4d298be 100644
--- a/library/gecode/send_more_money.yap
+++ b/library/gecode/send_more_money.yap
@@ -16,7 +16,7 @@
 %% along with this program.  If not, see <http://www.gnu.org/licenses/>.
 %%=============================================================================
 
-:- use_module(gecode).
+:- use_module(library(gecode)).
 
 %   S E N D
 % + M O R E
diff --git a/library/gecode/send_most_money.yap b/library/gecode/send_most_money.yap
index 7dae5afc9..ad37eec96 100644
--- a/library/gecode/send_most_money.yap
+++ b/library/gecode/send_most_money.yap
@@ -16,7 +16,7 @@
 %% along with this program.  If not, see <http://www.gnu.org/licenses/>.
 %%=============================================================================
 
-:- use_module(gecode).
+:- use_module(library(gecode)).
 
 %   S E N D
 % + M O S T