> (defadvice ...

For your information, defadvice is deprecated[0]. Alternatives like advice-add can be used instead.

[0] https://www.gnu.org/software/emacs/manual/html_node/elisp/Po...