Minor fix of the previous commit.