Fix debug logging rotted by #801.