Minor nit fixed.