Fix php-help bug