Ack, I didn't see this when I rebased and squashed, because GitHub only updated the page partially. I'll fix this.