A little fix to the last commit.