Fix from the previous commit.