Fix bad merge from `release-v1.20.0` branch to `develop`.