Re: bug in 6.12.1-pre