* config-gtags.el: Minor fix