4.73: remove debug prints.