Follow-up change to an earlier commit.