I've supplied a fix in b8b9658ceb26c50051db9c980d487497d3667436.