Fixed header file with wrong parameter type