fix a bug with gtags