[PD-dev] [ pure-data-Patches-3207786 ] small fix for warnings emitted by pd-gui