A little correction to the previous commit.