And now it gives the correct result.