Fixed: assertion error + changed the PHPLint search pattern