There was an obvious typo.  I fixed it.