A bug fixed in helpParser.php