Fix a paste-related bug in nodetags.py