Attached patch.  This seems like a reasonable and trivial change, so I
haven't updated NEWS or :version for defcustom.