This has been fixed in rev bc02037.