Fix extension name in header

Change-Id: I68918025fcb3dfb6e1bd9a05c197e98086f28d19