Переменное имя файла заголовка загрузки PHP?

Каков правильный синтаксис для этого?

header('Content-Disposition: attachment; filename="{$_SESSION['name']} . '.txt');

Этот файл работает, но только когда "view source" (HTML не отформатирован, но содержит правильные переносы строк).

<?php
header("Content-type: text/html");
session_start();
    if(file_exists("chat") && filesize("chat") > 0){
        $handle = fopen("chat", "r");
        $contents = fread($handle, filesize("chat"));
        fclose($handle);
        ob_start();
$download = strip_tags($contents, '<br>');
$processed = preg_replace('#<br\s*/?>#i', "\n", $download);
echo $processed;
$var = ob_get_clean();
echo $var;
    }
?>

Переменная $_SESSION['name'] - это что-то вроде guest_158512, и если посмотреть исходник страницы, которую я пытаюсь сохранить, то там есть все переносы строк. Как мне сохранить текущую страницу как guest_158512.txt с правильным синтаксисом?