בית יוסף, יורה דעה שמח:ב

ומ"ש רבינו ותניא בתוספתא כשם ששורפין על המלכים וכו' לא הוצרך לכתוב כן בשם התוספתא משום רישא דהא בברייתא פרק קמא דע"ז מפורש כן אלא משום מאי דמסיים בה אבל לא על ההדיוטות הוצרך לכתוב התוספתא: