fixed inst ggtags bugs