tiny fix (missing newline in a file)