Minor bug-fixes to tag_miner.py and tagger.py