semicolon bug in foo.php