This is a typo.  I've fixed this.