fix code typo in header