Add missing header to fix 'make checkheaders'.