Fix error introduced in some previous commit.