Small modification to the previous commit.