fix type in header file