[armedbear] #427: bug in invoke-restart