Update pseudosyntax.php