Tune debugging output a bit