type inference fix