Added a missing change, related to the previous commit.