small typo in the php_eval