Fixing wrong prototypes in a header