Yes, makes more sense to me (HTML is not the name of a markup filter being applied but the markup the input text itself is written in).