Oh sorry... Me and david resolved it offline and its been fixed. Kevin On Wed, Mar 12, 2008 at 2:47 PM, Philip Levis <pal at cs.stanford.edu> wrote: > > On Mar 6, 2008, at 5:50 AM, Matt Welsh wrote: > > > Yep, this has been a bug for a long time... > > Let's see if we can fix it. I've pinged David Gay. > > Phil > -- ~Kevin