A few tweaks for ctags