(in-package "USER") from before the save-lisp progn to inside it so that the progn form gets read into the correct package.