Fix type inference for \