Smaller ctags.