At this point I am the only person who has contributed to ownerboot, so I'm able to make this correction unilaterally. I wanted to do this while I still had the chance.