Small, but serious, mistake fixed from last commit.