Fixed potential PHP error in tagger.php