@mduan What's special about `idx == 0` here?