The replacement was a few lines below. I reorganized to make it clearer.