There are thousand places where we should change the type to get it correct. I have only changed it where the compiler now give warning messages. I agree that this one was not correct :) I think we have to take all these over time.