Fix defadvice code snippet in commentary.