fix missed instance of #4716

fix missed instance of #4716