Re: Bug in 7.2 ?