On 12/03/2012 12:26 PM, Anthony Petrov wrote: > The fix looks fine to me, too. Do you need a bug id to push it, or have > you already filed one yourself? I haven't filed one. I will certainly do so now. Thanks, Andrew.