Little fix of my previous commit.