Fix a bug

(make sure tags-file-name is initialized before it is used)