Download file - problem

Hi

I'm geting file :

$contents = file_get_contents($file);
$size = filesize($file);
header("Content-type:text/plain");
header("Content-Length: $size;");
header("Content-Disposition: attachment; filename=$export_file_name");
print($contents);

File who I got is one Enter greater.
What is wrong ???

Thank for Your help
G.N