Fixed some mistakes in the previous commit.