Looks like a typo (untested minor change)