Fix silly error in extract-headers

Signed-off-by: David Greaves <david@dgreaves.com>