Little fixes in the last commit.