Fix python ctags