Just asking why "\;" are badchars here but not int he case above (ARCH_PHP)