Fixed a bug related to ctags generation