Don't print out "ignored reduction" messages.
Tweaks.