Fixed small mistakes in previous commit.