@bantu It's actually used farther down on line 1642.