Fix ctags bugs