Download de Arquivo Texto em PHP

$arquivo = $caminho_completo_do_arquivo . 'nome_arquivo.txt';
@header("Pragma: public");
@header("Expires: 1");
@header("Cache-Control: must-revalidate, post-check=0, pre-check=0");
@header("Cache-Control: private",false);
@header("Content-Type: text/plain");
@header("Content-Disposition: attachment; filename=\"nome_arquivo.txt\";");
@header("Content-Transfer-Encoding: binary");
@header("Content-Length: " . (int)filesize($arquivo) + 1 );
readfile( $arquivo );