Fixes checkheaders after 8c01eb0a31. Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@gmail.com>
8c01eb0a31