Fixed an error introduced by the previous commit.