Change from "tracing" to "warning", as requested by David Aspinall
Change from "tracing" to "warning", as requested by David Aspinall

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle