syntax.php: Several fixes