On Wed, 14 Dec 2011, Andreas Schwab wrote: > > This now dereferences too much. > Oops. Thanks for spotting that. I'll leave it to Laurent to fix. Finn