fix issue #112 (in fact had mostly been done with REL code, but that broke SAVE,
which is fixed with this one)