Customise error message with ggtags-global-error