Minor fix from previous commit.