Indeed, lazily copied from a few lines above. Fixed.