Get rid of spurious debug prints.