`idx` isn’t used here, so it can be removed, couldn’t it?