fix type error at header