PHP5.0.5 bug

<?php
$num = 100;

// Doesn't work
header("Content-Length: $num");

// Works
header("Content-Length: ".$num);

// Works
print("test $num");

// Works
print("test ".$num);

?>