Insert a missing (though strictly unnecessary) newline.