Made some minor ctags changes