diff --git a/LGPL/prolog_xref.pl b/LGPL/prolog_xref.pl
index 10bc11ad7..59de4897d 100644
--- a/LGPL/prolog_xref.pl
+++ b/LGPL/prolog_xref.pl
@@ -1,4 +1,4 @@
-/*  $Id: prolog_xref.pl,v 1.2 2008-02-12 18:10:48 vsc Exp $
+/*  $Id: prolog_xref.pl,v 1.3 2008-02-13 14:42:55 vsc Exp $
 
     Part of SWI-Prolog
 
@@ -538,7 +538,7 @@ process_meta_predicate(Decl) :-
 	    ;   meta_goal(Head, _)
 	    )
 	->  true
-	;   assert(meta_goal(Head, Meta))
+	;   assert(prolog:meta_goal(Head, Meta))
 	).
 
 meta_args(I, Arity, _, _, []) :-
diff --git a/docs/yap.tex b/docs/yap.tex
index eb8fee844..54dd0d31a 100644
--- a/docs/yap.tex
+++ b/docs/yap.tex
@@ -2341,7 +2341,7 @@ several small modules. The following declarations can be used for that purpose:
 @snindex reexport/1
 @cnindex reexport/1
 Export all predicates defined in file @var{F} as if they were defined in
-the curremt module.
+the current module.
 
 @item reexport(+@var{F},+@var{Decls})
 @findex reexport/2
diff --git a/pl/utils.yap b/pl/utils.yap
index 13761beb7..cf5eefbe5 100644
--- a/pl/utils.yap
+++ b/pl/utils.yap
@@ -254,13 +254,14 @@ op(P,T,V) :-
 	 '$do_error'(domain_error(out_of_range,P),G)
 	;
 	 \+ '$associativity'(T) ->
-	 '$do_error'(domain_error(operator_specifier,P),G)
+	 '$do_error'(domain_error(operator_specifier,T),G)
 	;
 	 '$check_op_name'(V,G)
 	).
 
 '$associativity'(xfx).
 '$associativity'(xfy).
+'$associativity'(yfx).
 '$associativity'(yfy).
 '$associativity'(xf).
 '$associativity'(yf).