diff --git a/changes-5.1.html b/changes-5.1.html
index b46f4fa1a..f85a49101 100644
--- a/changes-5.1.html
+++ b/changes-5.1.html
@@ -16,6 +16,8 @@
 
 <h2>Yap-5.1.2:</h2>
 <ul>
+<li> FIXED: clauses with floats/large ints should be pinnned  (obs from Bernd
+Gutmann).</li>
 <li> FIXED: indexing-code emulator should update S  (obs from Rui
 Camacho).</li>
 <li> FIXED: error with atoms in arithmetic messages (obs from Paulo Moura).</li>
diff --git a/pl/signals.yap b/pl/signals.yap
index 8b1bcdbdd..e6d8a0153 100644
--- a/pl/signals.yap
+++ b/pl/signals.yap
@@ -20,7 +20,6 @@
 '$creep'(G) :-
 	% get the first signal from the mask
 	'$first_signal'(Sig), !,
-	format('~w~n',[G]),
 	% process it
 	'$do_signal'(Sig, G).
 '$creep'([M|G]) :-
@@ -33,7 +32,6 @@
 	'$continue_signals',
 	'$wake_up_goal'(G, LG).
 '$do_signal'(sig_creep, [M|G]) :-
-	format('~w~n',[G]),
         '$start_creep'([M|G]).
 '$do_signal'(sig_delay_creep, [M|G]) :-
 	'$execute'(M:G),