gap in the treatment of henselization in the Stacks Project

Thanks to Ofer Gabber
Small changes