You're right. Saw the reviewer on that PR but you were too quick and I couldn't delete my comment anymore.