correction of some mistakes for the previous commit.