the declaration of `that`here never seems to be used later