Correct result type