If you do a Control-Shift-M (expand macro) on the DEFMETHOD that you were asking about, you will see the line (FDEFINE '(FLAVOR:METHOD :FILTER NVT-ASCII-TYPEIN-FILTER) This indicates that what is defined is (FLAVOR:METHOD :FILTER NVT-ASCII-TYPEIN-FILTER) so you should do (si:allow-redefinition '(FLAVOR:METHOD :FILTER NVT-ASCII-TYPEIN-FILTER)) (Yes, the type of the definition is 'DEFUN.)