Small fix in pet header file