Little fix for previous commit.