Fix git grumble in header file