Revert "Shouldn't override def patch"

This reverts commit 6963a356510256762e425b5dbe2ee8c9ee0ace68.