fix type name of pointer to function