Some debug outputs now correctly use end-of-line characters.