Ack, just a typo.  Will fix with next PR.