Small fixes to ggtags-find-tag-regexp