fixing gtags bug