fix type definitions