[tde-users] Re: not a huge problem, but probably a bug -- solved