Correct type in defcustom