Small fix in _preg_mach() method