On 12/15/2011 06:05 PM, Matthew Flatt wrote: > Fix pushed. Thanks! (That was amazingly quick.) Regards, Tony