Fix bug in consecutive calls to SAVE-UTILS-AS. Fixes issue #17.