gtags: minor changes