C++: Fixing wrong push in last commit.