add: output a final newline after control-d