slight cleanup in ResNetSynth