The use of `defcustom` would be preferable here IMHO.