Reverting the last commit, because of a 3D branch push mistakenly done in
this master branch.