Re: bug in type casting?