fixes small wrinkle in type inference