Fix some errors in ggtags-global-output