Update Header.php

run in hiphop-php 
fix!