newline EOF in spec