Bugfix for wrong path to info.php inside help.php.