fix another instance of #4678

fix another instance of #4678