On 3/16/09 5:02 PM, Dirkjan Ochtman wrote: > Looks good. While we're at it: why is this not the default? > Good question, but meanwhile, it looks as if I didn't actually fix the bug. Please disregard the patch for the moment until I figure out what's going on here. --Benjamin