Mute some debugging output