fix type def